1. 30, 2011, Revised Selected Papers-o Paulo, Brazil, September 26ذFormal Methods, Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, S
پدیدآورنده : / we (auth.), Adenilso Simao, Carroll Morgan (eds.)نnig, Michael LنHarald K
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK